|
数学における対応(たいおう、''Correspondence'')は、古い文献に頻繁に現れていた多価函数(多値写像)の概念を明確にしたものである。通常の意味の函数(写像)が定義集合の各元に値の集合の一つの元を値として割り当てるのに対して、多価函数は値の集合の複数の元を割り当てることが許されるのであった。対応の概念を考えるときには、これら複数の函数値を一つの集合(値の集合の部分集合)として割り当てる。言い換えれば、対応とは定義域の各元に終域の部分集合を割り当てる写像である。 == 定義 == 集合 ''A'' から ''B'' への(部分)対応とは、直積集合 ''A'' × ''B'' の部分集合 ''G'' が与えられたとき、三つ組 ''f'' = (''A'', ''B''; ''G'') のことをいう。このとき、 : などと表す。''A'', ''B'', ''G'' はそれぞれ対応 ''f'' の始域 (initial set, source)、終域 (terminal set, target)、グラフ (graph) と呼ばれる。グラフの各成分への射影 : は ''f'' の定義域 (domain) といい、 : を ''f'' の像 (image) または値域 (range) と呼ぶ。''D''(''f'') = ''A'' であるとき、''f'' は(左)全域的対応あるいは単に対応であるといい、''V''(''f'') = ''B'' であるとき ''f'' は全射あるいは右全域的対応という。左全域的かつ右全域的であるときに限って対応と呼ぶこともある。 対応 ''f'': ''A'' → ''B'' が与えられたとき、dom(''f'') の元 ''a'' に対して、''B'' の部分集合(空集合であってもよい) : は、対応 ''f'' による ''a'' の像 (image) または値 (value) と呼ばれる。このとき、 : は ''f'' のグラフ ''G'' に一致する。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「対応 (数学)」の詳細全文を読む スポンサード リンク
|